Declarative programming - PDFSEARCH.IO - Document Search Engine

Declarative programming
Results: 415

#	Item
181	Pearls of XSLT/XPath 3.0 Design Add to Reading List Source URL: www.xfront.com Language: English - Date: 2013-01-08 07:12:23 Subroutines Functional programming Higher-order functions Lambda calculus Data types Anonymous function Function Partial application XSLT Software engineering Declarative programming Computing
182	Implementing Closures in XSLT/XPath 3.0 Add to Reading List Source URL: www.xfront.com Language: English - Date: 2012-11-17 18:09:06 Subroutines Functional programming Lambda calculus Anonymous function Closure Function Higher-order function XSLT Haskell 98 features Software engineering Computing Declarative programming
183	Microsoft Word - wits-6pagefinal.doc Add to Reading List Source URL: ebusiness.mit.edu Language: English - Date: 2012-11-08 09:59:21 Computing Programming paradigms Logic programming Reasoning Constraint logic programming Constraint Handling Rules P/E ratio Knowledge representation and reasoning ECLiPSe Software engineering Constraint programming Declarative programming
184	CS109A Notes for LectureCurried Functions In principle, all functions take one argument, but the argument may be a tuple. However, it is also possible to dene a function Add to Reading List Source URL: infolab.stanford.edu Language: English - Date: 2008-09-19 01:01:28 Higher-order functions Functional programming Functional languages Procedural programming languages Subroutines Fold Polymorphism ML Function Software engineering Declarative programming Computing
185	Coherent Reaction Jonathan Edwards MIT Computer Science and Artificial Intelligence Lab Abstract Add to Reading List Source URL: www.subtext-lang.org Language: English - Date: 2013-09-04 17:58:50 Computer programming Subtext Reactive programming Coherence Programming language Declarative programming Assignment Functional programming Imperative programming Software engineering Computing Programming paradigms
186	Relating Models of Backtracking Mitchell Wand Dale Vaillancourt College of Computer and Information Science Add to Reading List Source URL: www.ccs.neu.edu Language: English - Date: 2004-07-21 16:26:52 Functional programming Models of computation Logic in computer science Monad Denotational semantics Lambda calculus Fixed-point combinator Valuation Theoretical computer science Declarative programming Mathematics
187	Specialization through Dynamic Staging Piotr Danilewski1,2 Marcel Köster1 Roland Leißa1 1,2,3 Richard Membarth Add to Reading List Source URL: graphics.cg.uni-saarland.de Language: English - Date: 2014-08-19 12:57:10 Functional programming Lambda calculus Subroutines Higher-order functions Continuation-passing style Continuations Anonymous function Parameter Monad Software engineering Declarative programming Computer programming
188	An Overview of the Saturn Project Alex Aiken Suhabe Bugrara Isil Dillig Add to Reading List Source URL: theory.stanford.edu Language: English - Date: 2007-04-17 03:46:58 Computer programming Constraint programming Declarative programming Constraint satisfaction Logic programming Analysis Eval Software engineering Programming paradigms Computing
189	ń* : Beyond Currying Jason Hemann Add to Reading List Source URL: www.schemeworkshop.org Language: English - Date: 2014-01-13 20:04:11 Lambda calculus Mathematics Currying Partial application Apply Arity Variadic function Combinatory logic Scheme Declarative programming Software engineering Functional programming
190	Rose Toshikazu Kawasaki Flower Add to Reading List Source URL: www.progonos.com Language: English - Date: 2004-05-17 20:55:03 Functional programming Declarative programming Anamorphism Fold Unfold Origami Yoshizawa-Randlett system Software engineering

UPDATE